CREST - A Continuous, REactive SysTems DSL
نویسندگان
چکیده
The advance of cyber-physical systems in everyday life requires powerful modeling capabilities. Existing formalisms often have severe limitations and require complicated notations. In this paper we introduce CREST, a domain-specific language for modeling entity behavior and resource transfers in CPS. CREST aims to support CPS architects through clarity, comprehensiveness and analyzability.
منابع مشابه
Control of cell pattern in the neural tube: regulation of cell differentiation by dorsalin-1, a novel TGF beta family member.
Distinct cell types differentiate along the dorsoventral axis of the neural tube. We have cloned and characterized a novel member of the TGF beta gene family, dorsalin-1 (dsl-1), that appears to regulate cell differentiation within the neural tube. dsl-1 is expressed selectively in the dorsal neural tube, and its pattern of expression appears to be restricted by early signals from the notochord...
متن کاملDesorption of Reactive Red 198 from activated carbon prepared from walnut shells: effects of temperature, sodium carbonate concentration and organic solvent dose
This study investigated the effect of temperature, different concentrations of sodium carbonate,and the dose of organic solvent on the desorption of Reactive Red 198 dye from dye-saturated activated carbon using batch and continuous systems. The results of the batch desorption test showed 60% acetone in water as the optimum amount. However, when the concentration of sodium carbonate was raised,...
متن کاملDynamic Spectrum Management for Next-Generation DSL Systems
The performance of DSL systems is severely constrained by crosstalk due to the electromagnetic coupling among the multiple twisted pairs making up a phone cable. In order to reduce performance loss arising from crosstalk, DSL systems are currently designed under the assumption of worst-case crosstalk scenarios leading to overly conservative DSL deployments. This article presents a new paradigm ...
متن کاملSolution of Multi-Objective optimal reactive power dispatch using pareto optimality particle swarm optimization method
For multi-objective optimal reactive power dispatch (MORPD), a new approach is proposed where simultaneous minimization of the active power transmission loss, the bus voltage deviation and the voltage stability index of a power system are achieved. Optimal settings of continuous and discrete control variables (e.g. generator voltages, tap positions of tap changing transformers and the number of...
متن کاملProbabilistic Multi Objective Optimal Reactive Power Dispatch Considering Load Uncertainties Using Monte Carlo Simulations
Optimal Reactive Power Dispatch (ORPD) is a multi-variable problem with nonlinear constraints and continuous/discrete decision variables. Due to the stochastic behavior of loads, the ORPD requires a probabilistic mathematical model. In this paper, Monte Carlo Simulation (MCS) is used for modeling of load uncertainties in the ORPD problem. The problem is formulated as a nonlinear constrained mul...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017